Language and Communication Technologies

Results: 273



#Item
251Procedural programming languages / Embedded systems / Frama-C / Compiler / Worst-case execution time / C / Software / Computing / Programming language implementation

INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo

Add to Reading List

Source URL: cerco.cs.unibo.it

Language: English - Date: 2013-05-14 11:42:00
252Compiler / Embedded system / Analysis / Amortized analysis / Computing / Mind / Science / Programming language implementation / Framework Programmes for Research and Technological Development / Project management

INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo

Add to Reading List

Source URL: cerco.cs.unibo.it

Language: English - Date: 2013-05-14 11:38:35
253Procedural programming languages / Functional languages / Programming paradigms / Programming language implementation / Real-time computing / Worst-case execution time / Logic programming / Compiler / C / Software engineering / Computer programming / Computing

INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo

Add to Reading List

Source URL: cerco.cs.unibo.it

Language: English - Date: 2013-05-14 11:38:20
254Compiler construction / Procedural programming languages / Programming language implementation / Control flow / Source code / Goto / C / Subroutine / Static single assignment form / Software engineering / Computer programming / Computing

INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo

Add to Reading List

Source URL: cerco.cs.unibo.it

Language: English - Date: 2013-05-14 11:37:38
255Information literacy / Information science / Information and communication technologies in education / E-learning / English-language learner / Project-based learning / Technology integration / Education / Educational technology / Educational psychology

Bloomingdale School District TECHNOLOGY K - 5 CURRICULUM GUIDE Frank Buglione Interim Superintendent of Schools

Add to Reading List

Source URL: www.bloomingdaleschools.org

Language: English - Date: 2013-04-12 07:59:44
256Programming language implementation / Functional languages / Procedural programming languages / Compiler construction / Type theory / Compiler / OCaml / Porting / Frama-C / Computing / Software engineering / Computer programming

INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo

Add to Reading List

Source URL: cerco.cs.unibo.it

Language: English - Date: 2013-05-14 11:38:04
257Procedural programming languages / Data types / Logic in computer science / Programming language semantics / C programming language / Denotational semantics / Pointer / ALGOL 68 / C syntax / Software engineering / Computing / Computer programming

INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo

Add to Reading List

Source URL: cerco.cs.unibo.it

Language: English - Date: 2011-02-17 08:33:45
258Language education / Language learning software / E-learning / Information and communication technologies in education / Computer-assisted language learning / Education / Distance education / Educational technology

POOLS-2 has been funded with support from the European Commission. This publication reflects the views only of the author, and the Commission cannot be held responsible for any use which may be made of the information co

Add to Reading List

Source URL: www.languages.dk

Language: English - Date: 2012-02-06 07:10:24
259Procedural programming languages / Compiler construction / C++ / Programming language implementation / Data types / Compiler / C / Forth / Subroutine / Software engineering / Computing / Computer programming

INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo

Add to Reading List

Source URL: cerco.cs.unibo.it

Language: English - Date: 2013-05-14 11:37:51
UPDATE